2 research outputs found
QBF Proof Complexity
- Author
- Publication venue
- University of Leeds
- Publication date
- 01/05/2017
- Field of study
Quantified Boolean Formulas (QBF) and their proof complexity are not as well understood as
propositional formulas, yet remain an area of interest due to their relation to QBF solving. Proof
systems for QBF provide a theoretical underpinning for the performance of these solvers. We define
a novel calculus IR-calc, which enables unification of the principal existing resolution-based QBF
calculi and applies to the more powerful Dependency QBF (DQBF).
We completely reveal the relative power of important QBF resolution systems, settling in
particular the relationship between the two different types of resolution-based QBF calculi. The
most challenging part of this comparison is to exhibit hard formulas that underlie the exponential
separations of the proof systems. In contrast to classical proof complexity we are currently short
of lower bound techniques for QBF proof systems. To this end we exhibit a new proof technique
for showing lower bounds in QBF proof systems based on strategy extraction. We also find that
the classical lower bound techniques of the prover-delayer game and feasible interpolation can be
lifted to a QBF setting and provide new lower bounds.
We investigate more powerful proof systems such as extended resolution and Frege systems. We
define and investigate new QBF proof systems that mix propositional rules with a reduction rule,
we find the strategy extraction technique also works and directly lifts lower bounds from circuit
complexity. Such a direct transfer from circuit to proof complexity lower bounds has often been
postulated, but had not been formally established for propositional proof systems prior to this work.
This leads to strong lower bounds for restricted versions of QBF Frege, in particular an exponential
lower bound for QBF Frege systems operating with AC0[p] circuits. In contrast, any non-trivial
lower bound for propositional AC0[p]-Frege constitutes a major open problem
8th IAS Conference on HIV Pathogenesis, Treatment and Prevention (IAS 2015).
- Author
- Abdel-Mohsen M
- Abimiku A
- Abrahams F
- Abram M
- Abrams EJ
- Achii P
- Achu MN
- Adams R
- Adler M
- Agot K
- Agot K
- Agyei Y
- Ahlers J
- Ahmed S
- Ajibola G
- Akapirat S
- Akello I
- Akelo V
- Alave J
- Alcaide M
- Alcami J
- Alimenti A
- Alimenti A
- Allegre T
- Allison S
- Altice F
- Amaros I
- Ambinder RF
- Amedee A
- Amico KR
- Amico KR
- Amzal B
- Ananworanich J
- Ananworanich J
- Ananworanich J
- Ananworanich J
- Anastos K
- Anato S
- Ancuta P
- Anderson P
- Anderson PL
- Andrade J
- Andrew K
- Andrew P
- Angin M
- Ansari A
- Anstett K
- Antonini-Michelle T
- Apornpong T
- Apps R
- Arasteh K
- Archin N
- Arendt M
- Argento E
- Arheart K
- Arredondo J
- Arribas J
- Arthos J
- Arts E
- Asamoah-Odei E
- Aschman N
- Asila V
- Asire B
- Asmuth D
- Aumaitre H
- Aurpibul L
- Auvert B
- Avettand-Fenoel V
- Avihingsanon A
- Avila-Rios S
- Awa JC
- Ayadi AE
- Bacchetti P
- Bachireddy C
- Bacon O
- Badal-Faesen S
- Badal-Faesen S
- Baddeley A
- Baeten J
- Baeten JM
- Bai F
- Bailer R
- Bajos N
- Baltazar CS
- Bamford A
- Banchongkit S
- Bandason T
- Bangsberg DR
- Bao J
- Baral S
- Baral S
- Barash E
- Barbara C
- Barbee L
- Barnabas R
- Barrios R
- Barrios R
- Bartali B
- Basilissi M
- Batisse D
- Batlang O
- Bautista-Arredondo S
- Bautista-Arredondo S
- Bavinton BR
- Baxter C
- Bayus B
- Bañon S
- Bego MG
- Behets F
- Bekker L-G
- Bekker L-G
- Belaunzarán-Zamudio P
- Beletsky L
- Bellaton E
- Benki-Nugent S
- Benkirane M
- Bennai Y
- Benne C
- Bennett A
- Bennett A
- Bennett K
- Bennett S
- Benson P
- Berhanu R
- Berkout B
- Bermejo M
- Bernardi G
- Bernardi S
- Bershteyn A
- Best J
- Betz B
- Beusenberg M
- Bhakeecheep S
- Bhardwaj N
- Bhatti L
- Bianchi F
- Billaud E
- Bingham B
- Bini T
- Bisson G
- Bitarakwate E
- Bitimwine H
- Bitnun A
- Bitnun A
- Blanchard JF
- Blankson J
- Blaser N
- Blick G
- Bloch M
- Bloch M
- Bloomenthal D
- Blosser SJ
- Bock N
- Boffito M
- Bolu O
- Bonczkowski P
- Bonje E
- Bonora S
- Booth R
- Boothe M
- Borkowf C
- Botha G
- Boulle A
- Bouscaillou J
- Boven K
- Bowen N
- Bowonwatanuwong C
- Brantley J
- Brewster J
- Brockmeyer NH
- Brodie E
- Brooks J
- Brophy J
- Brophy J
- Brothers J
- Brown T
- Bruce D
- Brum T
- Brumme C
- Brumme ZL
- Brumme ZL
- Bruneau J
- Brunet L
- Brunetta J
- Bruno D
- Bruyand M
- Buchbinder S
- Buchbinder S
- Buchbinder S
- Budgell E
- Bui DD
- Bukusi EA
- Bullock B
- Bulpitt A
- Bunupuradah T
- Bunupuradah T
- Bunupuradah T
- Burbelo P
- Burger H
- Burling K
- Burns D
- Burwitz BJ
- Busch M
- Buskin S
- Buskin S
- Buskin SE
- Bustorff F
- Butcher J
- Buzdugan R
- Buzdugan R
- Byrareddy S
- Bärnighausen T
- Bélec L
- Caballero P
- Cahn P
- Caillat-Zucman S
- Calcagno A
- Calderon F
- Calmy A
- Cameron B
- Cameron M
- Cameron P
- Camlin CS
- Cannizzo ES
- Capoferri A
- Carlson JM
- Carmona S
- Caron F
- Carrington M
- Casado JL
- Cash A
- Casillas P
- Castillo LS
- Cathcart R
- Cavassini M
- Caylà JA
- Ceesay N
- Celentano D
- Celum C
- Celum C
- Cesar C
- Cesar F
- Chadwick EG
- Chadwick K
- Chaisson R
- Chaivooth S
- Chalachala JL
- Chamie G
- Chan G
- Chang C
- Chang L
- Changalucha J
- Chapman EL
- Chariyalertsak S
- Chariyalertsak S
- Chas J
- Chau V
- Chauma A
- Chege W
- Chen X
- Chen Y
- Chen Y
- Chen YQ
- Cheng A
- Chetchotisakd P
- Chew G
- Chew GM
- Chhabra R
- Chikovani I
- Chilisa F
- Chimbwandira F
- Chioma S
- Chirwa L
- Chisembele M
- Chitwarakorn A
- Chitwarakorn A
- Chohan BH
- Chokephaibulkit K
- Chokephaibulkit K
- Chomont N
- Chomont N
- Chonzi P
- Chotirosniramit N
- Christilaw J
- Chuma B
- Cicala C
- Citao SC
- Clayton K
- Clements J
- Cléret-Buhot A
- Co M
- Cohen C
- Cohen CR
- Cohen M
- Cohen MS
- Cohen S
- Cohen ÉA
- Coiras M
- Colby D
- Colby D
- Colley G
- Collier A
- Conejo PR
- Conrad C
- Conrad C
- Cooper C
- Cooper C
- Cooper DA
- Cornell M
- Cortes CP
- Cortés C
- Cortés-Álvarez J
- Cottle L
- Cotton LA
- Cousien A
- Cowan F
- Cowan FM
- Cowan FM
- Cox J
- Cragg C
- Crauwels H
- Cressey T
- Crowell CS
- Crowell T
- Cryer C
- Curlin ME
- Custodio J
- Cutler E
- Czaicki N
- Côté ÉA
- Da Cruz M
- Da Fonseca S
- Da Silva CM
- Dabis F
- Dabis F
- Dabis F
- Dai J
- Daly A
- Dange A
- Daniell L
- Dantanarayana A
- Das AT
- Das B
- Dasgupta A
- Davis J
- De Boni RB
- De Boni RB
- De Cock K
- De Ledinghen V
- de Looze D
- De Maeyer M
- De Paris K
- De Rijck J
- De Rosa S
- de Sousa Marques HH
- de Souza M
- De Spiegelaere W
- De Truchis P
- Debab Y
- Debyser Z
- Decamp A
- Deeks S
- Deeks S
- Deeks S
- Deeks S
- Deeks S
- Dejesus E
- dela Pena-Ponce MG
- Della Negra M
- Demarco T
- Demeulemeester J
- Demicco E
- Denny T
- Derksen L
- Deschamps D
- Descours B
- deSilva T
- Dezutti C
- Dhiver C
- Di Biagio A
- Dibb Z
- Dicker I
- Dieterich D
- Dikeakos J
- Dinh TTT
- Diouf D
- Diperri G
- Dirawo J
- Ditangco R
- Djurovic I
- Doblecki-Lewis S
- Dobrer S
- Dobrowolski C
- Doherty M
- Doherty M
- Dombrowski J
- Dombrowski J
- Dombrowski JC
- Dombrowski JC
- Domercant JW
- Dominguez S
- Dong W
- Donoghoe M
- Dorfman J
- Dray-Spira R
- Dray-Spira R
- Dray-Spira R
- du Lou AD
- Duff P
- Dufour M-SK
- Dukhovlinova E
- Duncan D
- Duncan D
- Dunne E
- Dunning L
- Durand CM
- Duvivier C
- Duwve J
- Duwve JM
- Dvoryak S
- Dvoryak S
- Dye BJ
- Dye BJ
- Dziuban E
- Eckhoff P
- Edmonds A
- Efsen AMW
- Egger M
- Egger M
- Egger M
- Ehrenberg P
- Eisele L
- ElFarouki K
- Elharrar V
- Elharrar V
- Elharrar V
- Elion R
- Elion R
- Elliott J
- Elliott J
- Elston B
- Elyanu P
- Elías MJP
- Emery S
- Emmanuel F
- Engelsmann B
- Engle E
- Erbel R
- Erlandson K
- Eron J
- Eron JJ
- Escamilla-Gómez T
- Eshleman S
- Eshleman S
- Eshleman SH
- Eshleman SH
- Esser S
- Essex M
- Estaquier J
- Estes J
- Estill J
- Etard J-F
- Etsetowaghan A
- Evans DH
- Evans E
- Evans T
- Fang E
- Farquhar C
- Farquhar C
- Fauci A
- Faye A
- Fedchuk L
- Feldacker C
- Fennelly G
- Fenton K
- Ferguson M
- Fernandes NM
- Fernandez-Lopez JC
- Ferrand R
- Ferrao C
- Ferrari G
- Filipovics A
- Fischl M
- Fisher H
- Fleming M
- Fleming T
- Fletcher JLK
- Flick R
- Flynn P
- Fofana DB
- Fon H
- Fong Y
- Fontaine H
- Foote J
- Ford N
- Ford N
- Fordyce M
- Foshee V
- Fourati S
- Fourie J
- Fox J
- Fox MP
- Frahm N
- Francois K
- Frange P
- Franks J
- Friedman RK
- Friedman SR
- Frohlich J
- Fromentin R
- Fromentin R
- Fu G
- Fu J
- Fuchs J
- Fujita T
- Fujita T
- Furrer H
- Gabriel C
- Gadabu O
- Galang R
- Galang RR
- Galaska B
- Gallant J
- Galler S
- Galli R
- Gama L
- Gamble T
- Gamble T
- Gandhi M
- Gandhi M
- Ganova-Raeva L
- Gao F
- Gao Y
- García-Morales C
- García-Morales C
- García-Tellez T
- García-Téllez T
- Garrido-Rodriguez D
- Garrido-Rodríguez D
- Gaseitsiwe S
- Gatell J
- Gathe J
- Gatome-Munyua A
- Gaur A
- Geisel MHM
- Geng E
- Geng W
- Gentry J
- George M
- Geraghty D
- Getahun H
- Ghannoum M
- Ghidinelli M
- Ghneim K
- Giacomet V
- Giaquinto C
- Gibbons K
- Giganti M
- Gijsbers R
- Girardi E
- Go VF
- Godbole S
- Golden M
- Golden M
- Golden M
- Golden M
- Golden M
- Golden MR
- Golden MR
- Golub J
- Gomez-Olivé X
- Gone M
- Gonzales L
- Gonzalez-Zuniga P
- Gosselin A
- Gosselin A
- Gotsadze G
- Goulder PJ
- Goulet J-P
- Gouveia ML
- Gowan CM
- Grabowski MK
- Grand'Pierre R
- Grant P
- Grant RM
- Grant RM
- Grant RM
- Grasela D
- Grasso M
- Gray C
- Gray GE
- Gray R
- Gregory P
- Gress J
- Grigoryan S
- Grigoryan T
- Grimsrud A
- Grimsrud A
- Grimsrud A
- Grinsztejn B
- Grinsztejn B
- Grinsztejn B
- Grinsztejn B
- Grosso A
- Grulich AE
- Grund J
- Guanira JV
- Gueguen M
- Guillemi S
- Guillemi S
- Gunther N
- Gupta A
- Gupta S
- Ha B
- Haas A
- Haas AD
- Haber N
- Habiyambere V
- Haeryfar M
- Hageman K
- Haghdoost A
- Hagins D
- Hakim J
- Hakim J
- Hakobyan A
- Hakobyan A
- Halpern C
- Hamilton E
- Hammond KB
- Hamzah L
- Han L
- Han X
- Han Y
- Hance RJ
- Hanrahan C
- Hans L
- Hansen SG
- Harawa M
- Harent S
- Harley B
- Harrigan PR
- Harrigan PR
- Harrigan PR
- Hartogensis W
- Hartogensis W
- Harty L
- Hassounah S
- Hatano H
- Hatzakis A
- Hatzold K
- Havlir D
- Havlir D
- Havlir D
- Hayashi K
- Hayes R
- Headley J
- Hecht F
- Hecht F
- Heffron R
- Henderson F
- Hendrix C
- Hendrix C
- Hendrix C
- Heneine W
- Henostroza G
- Herbeck J
- Herbst K
- Hermanus T
- Hernández-Juan R
- Hill A
- Hillman D
- Hillman D
- Hinkle J
- Hirnschall G
- Hirsch-Moverman Y
- Hislop M
- Hoagland B
- Hoces D
- Hoffman I
- Hoffman I
- Hoffman IF
- Hoffmann C
- Hogg B
- Hogg E
- Hogg R
- Hogg R
- Hoh R
- Holland C
- Holmes L
- Holmes M
- Holtz T
- Holtz TH
- Holzendorf V
- Honermann B
- Hoogstoel A
- Hoots B
- Hoover K
- Hora B
- Hornsberger A
- Horth R
- Hosek S
- Hosseinipour M
- Hosseinipour M
- Hosseinipour M
- Hosseinipour MC
- Hovhannisyan R
- Hower M
- Hsiao M
- Hsiao N-Y
- Hu Q
- Hu S-L
- Hu W
- Hu YB
- Huang S
- Hudelson SE
- Hudgens M
- Hudgens M
- Hughes J
- Hughes J
- Hughes J
- Hughes J
- Hughes J
- Hughes JP
- Hughes JP
- Hughes JP
- Hull M
- Humphries H
- Hunt P
- Hurst J
- Hwang C
- Iakoubov R
- Iannuzzi F
- Ibrahim J
- Inwani I
- Isaac L
- Isdahl Z
- Ishii N
- Ismail S
- Ivan K
- Iveson H
- Iwuji C
- Iwuji C
- Izenberg J
- Jacob R
- Jacob RA
- Jacobs S
- Jacobs W
- Jacobson J
- Jaggernath M
- Jahn A
- Jao J
- Jarman K
- Jarupanich T
- Jaspan H
- Jean K
- Jenabian M-A
- Jenkins L
- Jennings K
- Jensen K
- Jere E
- Jia H
- Jiamsakul A
- Jiang Y
- Jin F
- Jirajariyavej S
- John C
- John-Stewart G
- John-Stewart G
- John-Stewart GC
- Johns B
- Johnson A
- Johnson M
- Johnston R
- Jones D
- Jones D
- Jones L
- Joseph B
- Joseph P
- Jourdain G
- Joy J
- Julien A
- Justman JE
- Jöckel K-H
- Kahn K
- Kahn K
- Kahn K
- Kaimal A
- Kajaste-Rudnitski A
- Kajula L
- Kakkar F
- Kakkar F
- Kakkar F
- Kallas EG
- Kalombo C
- Kamarulzaman A
- Kambli H
- Kamdem HM
- Kaminski R
- Kamya MR
- Kanchar A
- Kandulu JR
- Kanjanavikai P
- Kantipong P
- Kantipong P
- Kantor R
- Kapiga S
- Kapogiannis B
- Karambe S
- Karamouzian M
- Karaoz U
- Karim QA
- Karim SA
- Karn J
- Karn J
- Kasonde M
- Katana A
- Katayi E
- Katlama C
- Kato M
- Katureebe C
- Katz D
- Katz D
- Katz DA
- Kawende B
- Kawooya V
- Keinonen S
- Keiser O
- Keiser O
- Kelly S
- Kerani R
- Kern KE
- Kerr C
- Kerr SJ
- Kerr SJ
- Kerr T
- Kerr T
- Kerr T
- Khalili K
- Khan A
- Kharsany A
- Khosropour CM
- Khoury G
- Khudyakov Y
- Kidzeru E
- Kieffer MP
- Kiem H-P
- Kiertiburanakul S
- Kijak G
- Kim A
- Kim J
- Kim J
- Kim J
- Kim JH
- Kim M
- King DF
- Kinloch NN
- Kinuthia J
- Kinuthia J
- Kirk O
- Kirui FK
- Kiselinova M
- Kitch D
- Kizito H
- Klein D
- Klein G
- Klein K
- Klein MB
- Klein MB
- Klein N
- Klinbuayaem V
- Klopfer S
- Ko SMS
- Koblin B
- Koenig E
- Koetsawang S
- Kohler P
- Kolber M
- Koletar S
- Koné N
- Korman A
- Korman AJ
- Kosalaraksa
- Kosalaraksa
- Kose Z
- Koseki S
- Koup R
- Kourtis AP
- Kozlowski P
- Krakowiak D
- Kranzer K
- Krebs E
- Kriel E
- Kroon E
- Kroon M
- Krows M
- Krystal M
- Kublin J
- Kulasegaram R
- Kumarasamy N
- Kumarasamy N
- Kumarasamy N
- Kumwenda J
- Kumwenda J
- Kumwenda K
- Kumwenda N
- Kuringe E
- Kurniati N
- Kurniati N
- Kwarisiima D
- Ky-Zerbo O
- Lackovic K
- Lacombe K
- Ladner J
- Lafeuillade A
- Lagat D
- Lalezari J
- Lalezari J
- Lallemant M
- Lama JR
- Lamarre V
- Lambdin BH
- Lambert A
- Lancaster K
- Landovitz R
- Lane T
- Lane T
- Langat A
- Lapointe N
- Lapointe N
- Lapointe N
- Larke N
- Larmarange J
- Larmarange J
- Larsen M
- Lataillade M
- Latkin C
- Laurence J
- Le Chenadec J
- Le Cœur S
- Le Hai Nguyen
- Le A
- Le AKA
- Le AQ
- Le MG
- Leask K
- Leclerc P
- Lederman M
- Lederman MM
- Lee M
- Lee S
- Lee S-K
- Lee T
- Lee T
- Leerattanapetch N
- Leger PD
- Leisegang R
- Leitman EM
- Leligdowicz A
- Lem E
- Lemée V
- Leporrier J
- Leroy V
- Lert F
- Lesosky M
- Lessler J
- Levi J
- Levis M
- Levy J
- Levy L
- Lewin S
- Lewin S
- Lewy T
- Li H
- Li L
- Li M
- Li P
- Li XD
- Liang J
- Liang R
- Liegler T
- Lifson J
- Lifson J
- Lifson J
- Lim JR
- Lima V
- Lindsey K
- Link-Barnes G
- Lippman SA
- Lippman SA
- Lippman SA
- Lissouba P
- Liu A
- Liu AY
- Liu AY
- Liu F
- Liu L
- Liu L
- Liu N
- Liu Y
- Lo Y-R
- Lo Y-R
- Lobritz M
- Lockman S
- Loes SK-D
- Lombaard J
- Long L
- Loquere A
- Lorenzana I
- Losso MH
- Louzao R
- Lovchik J
- Lowrance D
- Lu J
- Lu L
- Lu L
- Luechai P
- Lukabwe I
- Lule F
- Lundgren JD
- Lungu T
- Luo W
- Lyall H
- Lydie N
- Lyons C
- Ma B
- Maartens G
- Mabuza W
- Mabuza X
- MacAllister J
- Macmillan DR
- MacPhail C
- MacPhail C
- MacPhail C
- Madlala P
- Madruga JV
- Madruga JV
- Magimba A
- Magongo E
- Mahapatra T
- Mahler H
- Mahomva A
- Mahomva A
- Maiga AI
- Mailiiard RB
- Makhema J
- Makhema J
- Makhubela P
- Malatinkova E
- Maleche-Obimbo E
- Maliwichi M
- Malliori M
- Mallolas J
- Malupande E
- Maman S
- Maman S
- Maman S
- Maman S
- Manabe Y
- Manches O
- Mangenah C
- Mankowski J
- Mannheimer S
- Manno EC
- Mant C
- Manyuchi A
- Manzanero M
- Marcelin A-G
- Marchetti G
- Marcus C
- Marczynska M
- Mardarescu M
- Marelli SS
- Margolis D
- Mark J
- Markowitz M
- Marquez L
- Marr A
- Marshall BDL
- Martens CA
- Martinson N
- Marzinke M
- Marzinke M
- Masciotra S
- Masiku CW
- Masters S
- Masters S
- Matengeni A
- Mateos E
- Matiko E
- Matlhaba O
- Matlhagela K
- Matsheka M
- Matteelli A
- Matthews G
- Matthews PC
- Maurer M
- Maurer M
- Mave V
- Mavedzenge SN
- Mavengere Y
- Mayer K
- Mayer K
- Mayer KH
- Mayer KH
- Mboh E
- Mboh E
- McCallister S
- McCallister S
- McCauley M
- McCauley M
- McCloskey R
- Mccloskey R
- McCloskey R
- McComsey G
- McCoy S
- McCoy SI
- Mccoy SI
- McElrath J
- Mcfarland W
- McGowan CC
- McGowan I
- Mcgrath C
- Mchugh G
- McHutchison JG
- Mcingana M
- McIntyre J
- McKinstry L
- McMahan V
- McMahon J
- Mcmahon J
- Meanson E
- Mejía-Villatoro C
- Mekviwattanawan S
- Melbourne K
- Mellado MJ
- Merati TP
- Mercier J
- Merlini E
- Mesplède T
- Metivier S
- Metras M-E
- Meza R
- Mhango E
- Mhango E
- Miailhes P
- Micci L
- Michael N
- Midiani D
- Miller C
- Miller R
- Miller WC
- Miller WC
- Millett G
- Milloy M-J
- Milloy M-J
- Milloy M-J
- Milloy M-J
- Milloy MJ
- Milloy MJ
- Mills L
- Mills T
- Min JE
- Min JE
- Min Z
- Miro JM
- Mirzazadeh A
- Mirzazadeh A
- Miyahara S
- Mocroft A
- Moebus S
- Mofolo I
- Mohammed T
- Mohapi L
- Mokoena I
- Mollan K
- Mollan K
- Money D
- Money D
- Money D
- Monforte AD
- Montaner J
- Montaner J
- Montaner J
- Montaner J
- Montaner J
- Montaner J
- Montefiori D
- Monteiro P
- Moodie EE
- Moore D
- Moore P
- Moore S
- Moracco KE
- Morales-Ramirez J
- Moran ME
- Moreira RI
- Moreno A
- Moreno S
- Mori M
- Morissette C
- Morris L
- Moses A
- Moshgabadi N
- Mosoko JJ
- Mota T
- Mothopeng T
- Moukambi F
- Mourez T
- Moyo S
- Moyo S
- Moyo T
- Mpofu D
- Msandiwa R
- Mshana G
- Msukwa MT
- Mtande T
- Mudender F
- Muffih PT
- Mugo C
- Mugo NR
- Mugurungi O
- Mugurungi O
- Mugyenyi P
- Mujuru HA
- Mukerjee P
- Mukui I
- Mulawa M
- Mulder N
- Mulema V
- Mullins JI
- Munsakul W
- Munyati S
- Murakami-Ogasawara A
- Murakami-Ogasawara A
- Murphy RL
- Murray C
- Murray K
- Murray K
- Musarandega R
- Musau S
- Mushavi A
- Mushavi A
- Musiime V
- Musinguzi J
- Musomba RZ
- Musonda R
- Mustafa M
- Mutanha N
- Mutanhaurwa R
- Muula A
- Muñoz-Fernández MÁ
- Mwale M
- Mwangomba L
- Mwanyumba S
- Myer L
- Myer L
- Myer L
- Myer L
- Myers S
- Nabitaka L
- Naggie S
- Naidoo K
- Nair G
- Najarro K
- Nalugoda F
- Namey E
- Namuwenge N
- Nanda K
- Nankya I
- Naranbhai V
- Natumanya E
- Ncube G
- Ndhlovu L
- Ndhlovu LC
- Ndjoyi-Mbiguino A
- Ndlovu B
- Ndulue N
- Ndung'u T
- Ndung'u T
- Neilands TB
- Nelson M
- Nelson W
- Neumann T
- Newell M-L
- Neytra S
- Nganga L
- Nganga L
- Ngo-Giang-Huong N
- Nguimkeu P
- Nguyen BC
- Nguyen HH
- Nguyen HL
- Nguyen MS
- Nguyen P
- Nguyen T
- Nhan T
- Nhando N
- Nicholas S
- Nickel G
- Niehues T
- Nielsen K
- Nikolopoulos G
- Nimitvilai S
- Nitayaphan S
- Njau P
- Njuguna I
- Noe S
- Nordio J
- Nosyk B
- Nosyk B
- Nsumba MS
- Ntombela F
- Nunez A
- Nunez A
- Nyandindi C
- Nyirenda M
- Nzengui GFN
- O'Brien M
- O'Connell R
- O'Doherty U
- Obel N
- Ochoa-Moreno I
- Oishi K
- Okala SG
- Okesola N
- Okitolonda E
- Okonji E
- Okonji E
- Omanga E
- Omanga E
- Omolo D
- Orkin C
- Orne-Gliemann J
- Orne-Gliemann J
- Orrell C
- Osman N
- Osmand T
- Osoti A
- Ospina-Norvell C
- Ostrowski M
- Ou S-S
- Ou S-S
- Ou S-S
- Ou SS
- Ouattara M
- Ouedraogo G
- Owen SM
- Padgett D
- Padian N
- Padian NS
- Padian NS
- Pageaux G-P
- Paiardini M
- Palma P
- Palmer S
- Palou E
- Pan J
- Panchia R
- Panchia R
- Pang PS
- Pankam T
- Pannetier J
- Panteleev A
- Pape JW
- Papoyan A
- Parades Z
- Paraskevis D
- Parikh S
- Parslow T
- Pascale J
- Pate KM
- Patel M
- Patel V
- Pattanasin S
- Peacock D
- Peeling R
- Pence BW
- Pendse R
- Perelson A
- Perez A
- Perry B
- Peters P
- Peters PJ
- Petersen M
- Peterson C
- Petit L
- Peton N
- Petro G
- Pettifor A
- Pettifor A
- Pettifor AP
- Peyrani P
- Peytavin G
- Peytavin G
- Peytavin G
- Pham HT
- Phanuphak N
- Phanuphak N
- Phanuphak N
- Phanuphak P
- Phanuphak P
- Phanuphak P
- Phanuphak P
- Phaswana-Mafuya N
- Phillips T
- Piatak M
- Piazza P
- Pick N
- Pilcher C
- Pillay D
- Pillay D
- Pillay D
- Pillay S
- Pina C
- Ping L-H
- Pinyakorn S
- Piper J
- Pitche V
- Pitisuttithum P
- Piwowar-Manning E
- Piwowar-Manning E
- Piwowar-Manning E
- Piwowar-Manning E
- Planas D
- Plantier J-C
- Platt HL
- Plazy M
- Plettenberg A
- Plotkin M
- Plummer A
- Podlekareva DN
- Pohlmeyer C
- Polacino P
- Pontones P
- Pontones P
- Poon A
- Poon AF
- Poon AFY
- Porcella SF
- Porcella SF
- Porras G
- Porter K
- Portilla J
- Post F
- Post FA
- Post FA
- Powers KA
- Powis K
- Pozniak A
- Pozniak A
- Prasithsirikul W
- Prasitsuebsai W
- Prasitsuebsai W
- Prentice H
- Prestage G
- Promda N
- Prozesky H
- Prueksakaew P
- Prueksakaew P
- Psichogiou M
- Pujol BG
- Purcell D
- Puren A
- Puthanakit T
- Puttkammer N
- Pyra M
- Quant C
- Queen S
- Quereda C
- Quinn T
- Quinn T
- Quinn TC
- Quirk E
- Quiroz-Morales V
- Rabezanahary H
- Racz L
- Raffi F
- Rain-Taljaard R
- Rajasingham R
- Rajkotia Y
- Rakhmanina N
- Ramachandran A
- Ramachandran S
- Ramapuram J
- Ramogothobeng K
- Rangel G
- Rao S
- Ratanasuwan W
- Ratcliff A
- Ravalihasy A
- Ravelomanana NLR
- Ravindran P
- Rawangban B
- Rawat A
- Ray N
- Raymond A
- Rebeiro PF
- Redd A
- Redd AD
- Reed JS
- Rees H
- Reeves RK
- Reidner G
- Reimann K
- Reinsch N
- Reliquet V
- Rerks-Ngarm S
- Reyes H
- Reyes-Terán G
- Reynolds S
- Reza T
- Richardson B
- Richardson L
- Richman D
- Rinaldo CR
- Riviere C
- Robb M
- Robertson M
- Robinson J
- Robison J
- Rocha MM
- Roche M
- Rockstroh JK
- Rodrigues V
- Rodriguez B
- Rodriguez F
- Rolland M
- Rollet-Kurhajec K
- Ronen K
- Rooney J
- Rosalind P-R
- Roseberry J
- Roseberry JC
- Rosen S
- Rosenberg N
- Rosenthal E
- Rosenthal K
- Rountree W
- Routy J-P
- Rouzioux C
- Rowhani-Rahbar A
- Rowland-Jones S
- Roxby A
- Roy É
- Ruane PJ
- Rudy B
- Rutherford A
- Rutledge B
- Ruxrungtham K
- Ryan E
- Saag M
- Saag MS
- Sabsanong P
- Sabuni N
- Sacha JB
- Saeed S
- Saengtawan P
- Saez-Cirion A
- Saidi F
- Salazar-Vizcaya L
- Saleh S
- Salgado M
- Salmon D
- Salo E
- Samson L
- Samson L
- Samsunder N
- Sanchez A
- Sandoval M
- Sandstrom P
- Sang N
- Santangelo P
- Santos RB
- Sathane I
- Sato P
- Satumay K
- Sauve L
- Sauve L
- Schadendorf D
- Schafer J
- Schechter M
- Schechter MT
- Scheepers E
- Scheepers E
- Scherpbier HJ
- Schley A
- Schmid RM
- Schmitz K
- Schnippel K
- Schomaker M
- Schomaker M
- Schramm B
- Schrijvers R
- Schultze A
- Schulze C
- Schwartz S
- Schwarz M
- Schwerdtfeger C
- Schürmann D
- Scully E
- Seclen-Palacin J
- Sedaghat A
- Sekaly R
- Selin A
- Selin A
- Sen PD
- Serwadda D
- Sevelius JM
- Sevinsky H
- Shackleton CR
- Shah M
- Shamblaw D
- Shang H
- Shankar A
- Shannon K
- Shao Y
- Shapiro R
- Sharifi H
- Shattock A
- Shattock R
- Shattock RJ
- Shaughnessy M
- Shaw A
- Shearer K
- Shen X
- Shengelia N
- Shepherd BE
- Shepherd BE
- Sherr K
- Sherwood J
- Shields J
- Shields R
- Shighata C
- Shikuma C
- Shingadia D
- Shirk E
- Shive C
- Shokoohi M
- Shwartz J
- Sibanda E
- Sibanyoni M
- Siberry G
- Sievers M
- Sievers M
- Sikaris K
- Silicano J
- Silicano R
- Siliciano RF
- Silima M
- Sim B
- Simba O
- Simon K
- Simoni JM
- Simpson S
- Singa B
- Singer J
- Singer J
- Singh B
- Singtoroj T
- Singtoroj T
- Sirisanthana T
- Sirivichayakul S
- Siriwachirachai T
- Sithole B
- Skowronska E
- Skrahin A
- Slyker J
- Slyker JA
- Smith D
- Smith KN
- Sobotha C
- Sodhi S
- Sogni P
- Sohn AH
- Solomon A
- Solomon MM
- Solomon S
- Somsouk M
- Sonza S
- Soto-Nava M
- Soto-Nava M
- Soule M
- Spinner CD
- Spoulou V
- Spörri A
- Sripan P
- Sriporn A
- Ssali F
- Ssekubugu R
- Ssemmondo E
- Stahlman S
- Stamm LM
- Stanley C
- Stekler J
- Stevens M
- Stinson K
- Stinson K
- Stintzi A
- Stirratt M
- Stirratt M
- Stojiljkovic T
- Strathdee S
- Strathdee S
- Strathdee SA
- Strumpf EC
- Struthers H
- Stuart R
- Sudjaritruk T
- Sudjaritruk T
- Sugandhi N
- Sulaberidze L
- Sulkowski M
- Sulkowski MS
- Sulkowski MS
- Sun X
- Sungkanuparph S
- Sunseri N
- Supervie V
- Suthar A
- Suttichom D
- Swanstrom R
- Swanstrom R
- Sweitzer S
- Swindells S
- Switzer WM
- Sylla M
- Sypsa V
- Szumilin E
- Taha T
- Taiwo B
- Takebe Y
- Tal K
- Taljjard D
- Tang W
- Tang W
- Tanser F
- Tanser F
- Tapia K
- Taruberekera N
- Tayea A
- Taylor A
- Taylor J
- Tayong G
- Teague A
- Techapornroong M
- Tee KK
- Teeraananchai S
- Tenakoon S
- Tene G
- Tenthani L
- Teodoro E
- Teppler H
- Terris-Prestholt F
- Terán GR
- Thai H
- Thirumurthy H
- Thirumurthy H
- Thirumurthy H
- Thomas KK
- Thomas R
- Thompson D
- Thompson LH
- Thompson M
- Tih PM
- Timimi HB
- Tippanonth N
- Tiraboschi JM
- Toby M
- Toibaro J
- Tollman S
- Tomaras G
- Torres S
- Townley E
- Trahan M-J
- Tran HT
- Traore B
- Trapence G
- Treves-Kagan S
- Treves-Kagan S
- Trichavaroj R
- Trichavaroj R
- Trinh R
- Trunfio M
- Truong KH
- Trypsteen W
- Tsereteli N
- Tucker J
- Tumba N
- Tumbare E
- Tumwesigye E
- Turrini F
- Turyamureeba B
- Twine R
- Twine R
- Twine R
- Uebel KE
- Umar E
- Urien S
- Valantin MA
- Valenzuela-Ponce H
- Valenzuela-Ponce H
- van der Elst L
- Van Eygen V
- van Heerden A
- van Lettow M
- Van Lint C
- Van Lunzen J
- Van Nguyen L
- Van Nguyen TT
- van Oosterhout J
- van Oosterhout JJ
- Van Rompay K
- van Rooyen H
- Van Schalkwyk J
- Vandekerckhove L
- Vandendriessche A
- Vasarhelyi K
- Vaudry W
- Vaudry W
- Veloso VG
- Veloso VG
- Venter F
- Ventura A
- Verhofstede C
- Vermillion M
- Vernazza P
- Vervisch K
- Vets S
- Viana R
- Vibeke R
- Vicenzi E
- Vicol LA
- Viljoen K
- Villinger F
- Vincent T
- Vitoria M
- Vittinghoff E
- Volberding P
- Volokha A
- von Werder A
- Vu QD
- Wagner A
- Wagner R
- Wagner T
- Wainberg M
- Wainfen W
- Walker BD
- Walker BD
- Walker-Sperling V
- Wallis C
- Walmsley S
- Wamalwa D
- Wamalwa D
- Wambura M
- Wamicwe J
- Wanasiri P
- Wang C
- Wang J
- Wang J
- Wang Z
- Warnke A
- Warszawski J
- Watadzaushe C
- Waterhouse D
- Wawer M
- Weaver E
- Webb GM
- Wei C
- Wei X
- Weidle P
- Weiser B
- Weiss H
- Weissenhorn W
- Welty T
- Welty T
- Wendoh J
- Wenzi LK
- Werb D
- Wertheim JO
- Westgard T
- Wiesner L
- Wijayaratne S
- Wilen C
- Wilkinson L
- Williams T
- Wilson CM
- Wilson D
- Wimonsate W
- Wittkop L
- Woelk G
- Wolf E
- Wolff M
- Wolters L
- Wood E
- Wood E
- Wood E
- Wood E
- Woods C
- Wu HL
- Wu V
- Wyles D
- Wylie JL
- Xaba T
- Xia G
- Xiao H
- Xing Y
- Xu D
- Xu J
- Xu X
- Yang B
- Yang JC
- Yang L
- Yao KA
- Yassi A
- Yates N
- Yazdanpanah Y
- Yin M
- Yindom L-M
- Yotebieng M
- Young J
- Young P
- Youngleson M
- Yu Y
- Zablotska I
- Zamor P
- Zang O
- Zash R
- Zerbe A
- Zhang M
- Zhang Y
- Zhang Y
- Zhou S
- Zhuang M
- Ziegler JB
- Zink A
- Zink C
- Zolla-Pazner S
- Zolopa A
- Zolowere DB
- Zou H
- Zuma N
- Ásbjörnsdóttir KH
- Ávila-Ríos S
- Publication venue
- 'International AIDS Society'
- Publication date
- 01/01/2015
- Field of study